Proof of the NP-hardness of Topology Cuts problem
ثبت نشده
چکیده
s.t. T = Tinit with xp ∈ {0, 1}, p ∈ V. Here V is the regular image grid domain, and E denotes the 4or 8neighborhood in the image. The terms of the above energy function have the form D(xp) = E1 p(1− xp) + E0 pxp and Vpq(xp, xq) = wpq((1 − xp)xq + (1 − xq)xp) with wpq ≥ 0. In the image domain, we consider the case that all the 0’s (foreground) are 4-connected and all the 1’s (background) are 8-connected. Here T denotes the topology of the 0/1 labeled image as defined in [1]. Tinit is the initial topology information. The above energy minimization problem can also be implemented on a graph G with two extra nodes – source and sink (Fig 1(a)). A solution to the energy function (1), i.e., an 0/1 assignment to each variable xi, corresponds to a cut on the graph (Fig 1(b)). Minimizing the energy function (1) is equivalent to finding a minimal cut on the graph G with given topology constraint. Note that under the given topology constraint, a minimal cut does not necessarily correspond to a max-flow on the graph.
منابع مشابه
NP-hardness of hypercube 2-segmentation
The hypercube 2-segmentation problem is a certain biclustering problem that was previously claimed to be NP-hard, but for which there does not appear to be a publicly available proof of NP-hardness. This manuscript provides such a proof.
متن کاملNP-hardness of Minimum Circuit Size Problem for OR-AND-MOD Circuits
The Minimum Circuit Size Problem (MCSP) asks for the size of the smallest boolean circuit that computes a given truth table. It is a prominent problem in NP that is believed to be hard, but for which no proof of NP-hardness has been found. A significant number of works have demonstrated the central role of this problem and its variations in diverse areas such as cryptography, derandomization, p...
متن کاملCar sequencing is NP-hard: a short proof
In this note, a new proof is given that the car sequencing problem is NP-hard. Established from the hamiltonian path problem, the reduction is direct while closing gaps remaining in the previous NP-hardness results. Since car sequencing is studied in many operational research courses, this result and its proof are particularly interesting for teaching purposes.
متن کاملSpatial Codes and the Hardness of String Folding Problems ( Extended
(Extended Abstract) Ashwin Nayak Alistair Sinclair y Uri Zwick z Abstract We present the rst proof of NP-hardness (under randomized polynomial time reductions) for string folding problems over a nite alphabet. All previous such intractability results have required an unbounded alphabet size. These problems correspond to the protein folding problem in variants of the hydrophobic-hydrophilic (or ...
متن کاملSpatial Codes and the Hardness of String Folding Problems (Extended Abstract)
(Extended Abstract) Ashwin Nayak Alistair Sinclair y Uri Zwick z Abstract We present the rst proof of NP-hardness (under randomized polynomial time reductions) for string folding problems over a nite alphabet. All previous such intractability results have required an unbounded alphabet size. These problems correspond to the protein folding problem in variants of the hydrophobic-hydrophilic (or ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007